function getmenu()
{
   var result;
   var from;
   var to;
   result = window.location;
   from = result.toString().indexOf('?') + 3;
   if(result.toString().indexOf('&'))
       {
           to = result.toString().indexOf('&');
       }
       
    if(to != -1)
        result = result.toString().substring(from, to);
    else
        result = result.toString().substring(from);
    
    var div = document.getElementById("underlinemenu");
    var elms = div.getElementsByTagName("a");
    for(x in elms)
        {
            if(elms[x].href.match(result))
                {
                    elms[x].style.color = "#003399";
                    elms[x].style.borderBottomColor = "#003399";
                    break;
                }
        }
}